Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
111	Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg Add to Reading List Source URL: cse.iitk.ac.in Language: English - Date: 2016-07-15 06:06:20 Computer algebra Algebraic geometry Computer science Grbner basis Symbolic computation Computer-aided design Finite field Polynomial Algorithm Theoretical computer science Vladimir Gerdt
112	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
113	Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:58 Programming paradigms Abductive logic programming Linear temporal logic Model checking Formal verification NuSMV Constraint programming Temporal logic Declarative programming Prolog Logic programming Entityrelationship model
114	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
115	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason
116	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
117	Position paper on Usable Verification Saddek Bensalem Joseph Sifakis Verimag Laboratory, Universit´e Joseph Fourier Grenoble, CNRS Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-05 16:21:44 Formal methods NuSMV Logic in computer science Model checking Formal verification Invariant
118	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes
119	The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-22 17:23:36 Formal methods Technical communication Automated theorem proving Theoretical computer science Logic in computer science Formal verification ACL2 Functional verification User interface Proof assistant Usability Verification and validation
120	Safety to the Weak! Security Through Feebleness: An Unorthodox Manifesto Rick McGeer, US Ignite Outline Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:05 Hardware description languages Turing machine Formal methods Theoretical computer science Verilog VHDL Turing completeness NP Formal verification High-level synthesis Verilog-AMS

UPDATE